Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
81	Algorithms Lecture 5: Dynamic Programming [Fa’14] Those who cannot remember the past are doomed to repeat it. — George Santayana, The Life of Reason, Book I: Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:02:26 Dynamic programming Mathematical logic Operations research Programming idioms Algorithm Levenshtein distance Recursion Longest increasing subsequence Fibonacci number Mathematics Applied mathematics Theoretical computer science
82	Pairwise-Difference Estimation of a Dynamic Optimization Model∗ Han Hong Stanford University Matthew Shum† Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2010-12-02 19:46:17 Statistical theory Entailment Logical syntax Metalogic Philosophical logic Normal distribution Asymptotic theory Logic Statistics Econometrics
83	Integer Point Sets Minimizing Average Pairwise ℓ1 Distance: What is the Optimal Shape of a Town? Erik D. Demaine∗ S´ andor P. Fekete† Add to Reading List Source URL: cccg.ca Language: English - Date: 2009-09-02 14:33:35 Operations research Optimal control Systems engineering Systems theory Systems science Mathematics Linear temporal logic Dynamic programming Equations Mathematical optimization
84	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Function Unification Model theory Lambda calculus Μ operator Symbol Mathematics Mathematical logic Logic
85	MATH PHOBIA, MATH TEACHING, AND THE WORLD AS SCIENCE CENTER Add to Reading List Source URL: informalscience.org Language: English - Date: 2015-04-24 11:27:40 Causality Dynamic logic Vacuous truth Logic IP Modal logic
86	Recursive Program Synthesis Aws Albarghouthi1 , Sumit Gulwani2 , and Zachary Kincaid1 1 University of Toronto 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-09 20:33:37 Mathematical logic Algorithm Theoretical computer science Dynamic programming Function Escher Mathematics Applied mathematics Functions and mappings
87	June 10, 2013 Tohoku University NEC Corporation Spintronics-based logic LSI for text search by Tohoku University and NEC reduces power consumption to 1% or less of conventional Add to Reading List Source URL: www.csis.tohoku.ac.jp Language: English - Date: 2013-06-12 22:14:16 Technology Electronic design Digital electronics Logic families Logic gate Integrated circuit Content-addressable memory Dynamic random-access memory Computer Electronic engineering Computer memory Electronics
88	An Asynchronous PLA with Improved Security Characteristics Petros Oikonomakos, Simon Moore University of Cambridge, Computer Laboratory William Gates Building, 15 JJ Thomson Avenue Cambridge CB3 0FD, United Kingdom {po23 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-05-24 17:29:45 Logic gates Electronic design automation Logic families Electronic design Flip-flop Dynamic logic Programmable logic device Programmable logic array C-element Electronic engineering Digital electronics Electronics
89	Journal of Artificial Intelligence Research–567 Submitted 09/08; publishedAn Anytime Algorithm for Optimal Coalition Structure Generation Talal Rahwan Add to Reading List Source URL: jair.org Language: English - Date: 2009-04-21 14:18:39 Applied mathematics Numerical analysis Search algorithms Combinatorial optimization Algorithm Mathematical logic Genetic algorithm Dynamic programming Anytime algorithm Mathematical optimization Operations research Mathematics
90	CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 Maximal Covering by Two Isothetic Unit Squares Priya Ranjan Sinha Mahapatra ∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-29 00:05:31 Proof theory Diophantine approximation Dynamic programming Earley parser Euclidean algorithm Mathematics Mathematical analysis Mathematical logic

UPDATE